5a9ea0308f79debccbaa90bf92641da4386167a7,source/de/anomic/data/wiki/wikiCode.java,wikiCode,processPreformattedText,#String#,530

Before Change


            String preformattedText = "<pre style=\"border:dotted;border-width:thin\">" + line.substring(positionOfOpeningTag + 11);
            preformattedText = preformattedText.replaceAll("!pre!", "!pre!!");
            //taking care of indented lines
            while (line.substring(preindented, positionOfOpeningTag).startsWith(":")) {
                preindented++;
                openBlockQuoteTags.append(OPEN_BLOCKQUOTE);
            }

After Change


            String preformattedText = "<pre style=\"border:dotted;border-width:thin\">" + line.substring(positionOfOpeningTag + LEN_WIKI_OPEN_PRE_ESCAPED);
            preformattedText = preformattedText.replaceAll("!pre!", "!pre!!");
            //taking care of indented lines
            while (line.substring(preindented, positionOfOpeningTag).charAt(0) == WIKI_INDENTION) {
                preindented++;
                openBlockQuoteTags.append(OPEN_BLOCKQUOTE);
            }